-
1 канструктыўная матэматыка
constructive mathematicsБеларуска-ангельскі слоўнік матэматычных тэрмінаў і тэрміналагічных словазлучэнняў > канструктыўная матэматыка
-
2 конструктивная математика
Mathematics: constructible mathematics, constructive mathematicsУниверсальный русско-английский словарь > конструктивная математика
-
3 конструктивная математика
constructible mathematics, constructive mathematicsРусско-английский научно-технический словарь Масловского > конструктивная математика
-
4 конструктивная арифметика
Mathematics: constructive arithmeticУниверсальный русско-английский словарь > конструктивная арифметика
-
5 конструктивная бесконечность
Mathematics: constructive infinity (потенциальная)Универсальный русско-английский словарь > конструктивная бесконечность
-
6 конструктивная геометрия
Mathematics: constructive geometryУниверсальный русско-английский словарь > конструктивная геометрия
-
7 конструктивная дробь
Mathematics: constructive fractionУниверсальный русско-английский словарь > конструктивная дробь
-
8 конструктивная логика
Mathematics: constructive logicУниверсальный русско-английский словарь > конструктивная логика
-
9 конструктивная определимость
Mathematics: constructive definabilityУниверсальный русско-английский словарь > конструктивная определимость
-
10 конструктивная теория
Mathematics: constructive theoryУниверсальный русско-английский словарь > конструктивная теория
-
11 конструктивная формула
Mathematics: constructive formulaУниверсальный русско-английский словарь > конструктивная формула
-
12 конструктивная функция
Mathematics: constructive functionУниверсальный русско-английский словарь > конструктивная функция
-
13 конструктивное исчисление
Mathematics: constructive calculusУниверсальный русско-английский словарь > конструктивное исчисление
-
14 конструктивное исчисление высказываний
Mathematics: constructive propositional calculusУниверсальный русско-английский словарь > конструктивное исчисление высказываний
-
15 конструктивное исчисление предикатов
Mathematics: constructive predicate calculusУниверсальный русско-английский словарь > конструктивное исчисление предикатов
-
16 конструктивное множество
Mathematics: constructive setУниверсальный русско-английский словарь > конструктивное множество
-
17 конструктивное обобщение
Mathematics: constructive generalizationУниверсальный русско-английский словарь > конструктивное обобщение
-
18 конструктивное определение
Mathematics: constructive definitionУниверсальный русско-английский словарь > конструктивное определение
-
19 конструктивное отображение
Mathematics: constructive mappingУниверсальный русско-английский словарь > конструктивное отображение
-
20 конструктивное подмножество
Mathematics: constructive subsetУниверсальный русско-английский словарь > конструктивное подмножество
См. также в других словарях:
Church's thesis (constructive mathematics) — In constructive mathematics, Church s thesis is the mathematical assertion that all total functions are recursive. It gets its name after the informal Church–Turing thesis, which states that every algorithm is in fact a recursive function, but… … Wikipedia
Constructive set theory — is an approach to mathematical constructivism following the program of axiomatic set theory. That is, it uses the usual first order language of classical set theory, and although of course the logic is constructive, there is no explicit use of… … Wikipedia
Constructive analysis — In mathematics, constructive analysis is mathematical analysis done according to the principles of constructive mathematics. This contrasts with classical analysis, which (in this context) simply means analysis done according to the (ordinary)… … Wikipedia
Constructive proof — In mathematics, a constructive proof is a method of proof that demonstrates the existence of a mathematical object with certain properties by creating or providing a method for creating such an object. This is in contrast to a nonconstructive… … Wikipedia
Constructive Approximation — Abbreviated title (ISO) Constr. Approx. Discipline mathematics … Wikipedia
mathematics, foundations of — Scientific inquiry into the nature of mathematical theories and the scope of mathematical methods. It began with Euclid s Elements as an inquiry into the logical and philosophical basis of mathematics in essence, whether the axioms of any system… … Universalium
Constructive quantum field theory — In mathematical physics, constructive quantum field theory is the field devoted to showing that quantum theory is mathematically compatible with special relativity. This demonstration requires new mathematics, in a sense analogous to Newton… … Wikipedia
Constructive non-standard analysis — In mathematics, constructive nonstandard analysis is a version of Abraham Robinson s non standard analysis, developed by Moerdijk (1995), Palmgren (1998), Ruokolainen (2004). Ruokolainen wrote: The possibility of constructivization of nonstandard … Wikipedia
mathematics — /math euh mat iks/, n. 1. (used with a sing. v.) the systematic treatment of magnitude, relationships between figures and forms, and relations between quantities expressed symbolically. 2. (used with a sing. or pl. v.) mathematical procedures,… … Universalium
Areas of mathematics — Mathematics has become a vastly diverse subject over history, and there is a corresponding need to categorize the different areas of mathematics. A number of different classification schemes have arisen, and though they share some similarities,… … Wikipedia
Constructive function theory — In mathematical analysis, constructive function theory is a field which studies the connection between the smoothness of a function and its degree of approximation[1][2]. It is closely related to approximation theory. The term was coined by… … Wikipedia